1. Compability theory, Semantics, and logic programming
پدیدآورنده : Melvin C. Fitting
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986
2. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
H383
1995
3. Discrete structures, logic, and computability
پدیدآورنده : James L. Hein
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
رده :
QA
76
,.
9
.
H42D5
2010
4. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
9
.
M35
,.
H44
2010
5. Discrete structures, logic, and computability
پدیدآورنده : Hein, James L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
76
.
9
.
M35H43
2010
6. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
7. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
8. Theory and applications of models of computation :
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
